Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
💧Liquid Types
Relative Completeness of Incorrectness Separation Logic
arxiv.org·2d
🧠Separation Logic
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·1d
🧮Kolmogorov Complexity
How To Solve Every Programming Problem
blog.codeminer42.com·9h
📐Interval Arithmetic
[R] LLMs Have a Heart of Stone: Demystifying the Soft Thinking Ability of Large Reasoning Models
reddit.com·12h·
Discuss: r/MachineLearning
🧮Prolog Parsing
Cross-Entropy. Intuition and Applications
hclimente.eu·4h·
Discuss: Hacker News
📈Entropy Estimation
Extensions and Shadows (9)
sites.psu.edu·2d
✨Effect Handlers
Automating Boundary Filling in Cubical Type Theories
arxiv.org·3d
🔶Cubical Type Theory
When the Parrot Talks Back, Part Two
hedgehogreview.com·14h
🏛️Philosophy
On This Day in Math - August 6
pballew.blogspot.com·23h·
Discuss: www.blogger.com
📐Mathematical Art
My blog on zero-knowledge cryptography
kaw101010.github.io·4h·
Discuss: Hacker News
🔐Quantum Security
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
Three challenges in machine-based reasoning
amazon.science·23h·
Discuss: Hacker News
🧮Theorem Proving
An easy-to-implement, arena-friendly hash map
nullprogram.com·7h·
Discuss: Lobsters
🔐Hash Functions
PAIRS: Parametric-Verified Adaptive Information Retrieval and Selection for Efficient RAG
arxiv.org·44m
📊Multi-vector RAG
Double Maths First Thing: Issue 30
aperiodical.com·20h
📐Mathematical Art
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·1d
🔬Refinement Types
What Is a Belief (Part 2: Language, Truth, and Logic)
neonomos.substack.com·3d·
Discuss: Substack
⚖️Hoare Logic
Thinking with Nothinking Calibration: A New In-Context Learning Paradigm in Reasoning Large Language Models
arxiv.org·1d
🎯Dependent Parsing